Requirements specification for process-control systems
نویسندگان
چکیده
منابع مشابه
Requirements Specification for Process-Control Systems
This paper describes an approach to writing requirements specifications for process-control systems, a specification language that supports this approach, and an example application of the approach and the language on an industrial aircraft collision avoidance system (TCAS 11). The example specification demonstrates 1) the practicality of writing a formal requirements specification for a comple...
متن کاملSpecification and Analysis of Network Resource Requirements of Control Systems
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic scheduling policies for the bus with performance guarantees. Specifically, we propose an automata-based scheduler which we automatically generate from a model of the controlled plant and the controller. We show that, in add...
متن کاملDevelopment of Requirements Specification for Steganographic Systems
The paper focuses on development of requirements specification for steganographic systems. The main concepts and fields of use of steganography are briefly explained. Criteria that can be used for various non-functional requirements are grouped and their possible metrics are given with examples and sample requirements. The authors provide an original systematic approach to develop requirements ...
متن کاملSoftware Requirements Specification for Imaging Systems
Although it would seem obvious that object-oriented techniques are well suited to modeling image processing systems, there is almost no research to substantiate this position. We review the unique challenges faced when modeling, that is, specifying and designing, imaging systems. First, the argument is presented that specification and design of imaging systems should be studied as a special cas...
متن کاملAnalysis of Safety Requirements for Process Control Systems
An essential basis for the development of software for safetycritical systems is to establish high-quality requirements specifications. This paper describes an approach to the incremental and iterative analysis of requirements for safety-critical systems. Safety specifications are developed to ensure that hazard states are avoided and the system's integrity is maintained even in the presence of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 1994
ISSN: 0098-5589
DOI: 10.1109/32.317428